formal method

[网络] 形式化方法；形式方法；形式演绎法

热门查询

mol　　n. [化学] 摩尔；[化学] 克分子（等于mole） n. (Mol)人名；(柬)蒙；(朝)没；(英、法、捷)莫尔
arrive　　vi. 到达；成功；达成；出生 n. (Arrive)人名；(法)阿里夫
Petra　　n. 佩特拉(约旦西南部古城)
glasnost　　n. （俄语）公开性；公开化
voracity　　n. 贪食，贪婪
preparer　　n. 填表人，调制机
Jona　　n. (Jona)人名；(瑞典)约纳；(塞、冰、意)约娜 (女名), 约纳 abbr. 日本有机和自然食品协会（Japan Organic & Natural Foods Association）
rapporteur　　n. 记录员；书记；大会报告起草人
polymer　　n. [高分子] 聚合物 n. (Polymer)人名；(英)波利默
capitalized　　大写的
Nunn　　n. (Nunn)人名；(英)纳恩；(匈)努恩
old girl　　n. 女校毕业生；老女人；对女性比较友好的称呼 [网络] 女校友；老姑娘；老女孩
incoming　　n. 进入；到来；常作 incomings 收入，收益 adj. 进来的，到来的；即将就任的
Socrates　　n. 苏格拉底（古希腊哲学家）
overstock　　vt. 使进货过多 n. [经管] 库存过剩 vi. 进货过多
frustrate　　vt. 挫败；阻挠；使感到灰心 adj. 挫败的；无益的 vi. 失败；受挫
bonus　　n. 奖金；红利；额外津贴 n. (Bonus)人名；(西、塞)博努斯
afterworld　　n. 来世，后世；阴间；后代
tremor　　n. [医] 震颤；颤动 n. (Tremor)人名；(西)特雷莫尔
buzzing　　n. 嗡嗡声；嘈杂声 adj. 嗡嗡响的；嘈杂的 v. 发出嗡嗡声；东奔西忙；暗中散布（buzz的ing形式）